<?
    $_SERVER['SCRIPT_URL'] = $_SERVER['REQUEST_URI'];
    $_SERVER['PHP_SELF'] = preg_replace('/\/htdocs/', '', $_SERVER['PHP_SELF']);
    $_SERVER['SCRIPT_NAME'] = preg_replace('/\/htdocs/', '', $_SERVER['SCRIPT_NAME']);

